automated protocol validation
[计] 自动化化协议验证
热门查询
- resonance n. [力] 共振；共鸣；反响
- chancel n. 高坛 n. (Chancel)人名；(英)钱斯尔；(法)尚塞尔
- mabel n. 梅布尔（女子名）
- confidingly adv. 信任地
- CHUBB n. 丘伯保险锁（商标名称）
- McQuaid [人名] [爱尔兰姓氏] 麦奎德盖尔语姓氏的英语形式，来源于教名Wat的盖尔语形式
- verticality n. 垂直性；[航] 垂直状态
- booty n. 战利品；赃物；获得之物 n. (Booty)人名；(英)布蒂
- pleasant adj. 令人愉快的，舒适的；讨人喜欢的，和蔼可亲的 n. (Pleasant)人名；(英)普莱曾特
- christening n. （基督教）洗礼；（基督教）洗礼仪式；命名典礼 v. 为…施洗礼（christen的ing形式）
- paramour n. 情夫，情妇；情人
- depute vt. 委任；授权给；指定…为代理人
- blinkered v. 给…戴眼罩；打闪光信号表示；蒙蔽（blinker的过去分词） adj. 心胸狭隘的；思路狭窄的
- aporia n. 困惑；窘迫；难题；难点
- interviewing vi. 面试；参加面试（interview的ing形式）
- IRENA n. (Irena)人名；(俄)伊连娜；(捷、波、罗)伊雷娜
- duplicated adj. 复制出的；复写书的 v. 复制，复写
- empiric n. 经验主义者；江湖医生 adj. 经验主义的
- burst n. 爆发，突发；爆炸 vt. 爆发，突发；爆炸 vi. 爆发，突发；爆炸 n. (Burst)人名；(德、罗)布尔斯特
- vitality n. 活力，生气；生命力，生动性
